\beamer@endinputifotherversion {3.10pt}
\select@language {english}
\beamer@sectionintoc {1}{Motivation}{3}{0}{1}
\beamer@sectionintoc {2}{Adaptable Processes}{8}{0}{2}
\beamer@sectionintoc {3}{Verification Problems}{23}{0}{3}
\beamer@sectionintoc {4}{Final remarks}{36}{0}{4}
